1661. Verification of digital and hybrid systems

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Computer systems-- Verification

رده :
QA
76
.
76
.
V47
.
V47
2000